<html>
<head>
<title>Editor</title>
</head>
<body>
<p>To the right of this image <img src="/images/help.png">
is a simple editor which you can turn into a better one by clicking on
the toggle button just below.
Above is some sample Python code.  Normally, this code (without any
output if present) should already be copied for you inside the editor,
ready for execution and/or modifications.
When you are done, click on the button at the bottom,
below the editor to see the result of executing the code in the editor.</p>

</body>
</html>